D = { V β ∈ B } là một phủ con của C = { U α ∈ A } nếu ∀ β   ∃ α   V β = U α {\displaystyle D=\{V_{\beta \in B}\}\;{\text{là một phủ con của}}\;C=\{U_{\alpha \in A}\}\;{\text{nếu}}\;\forall \beta \ \exists \alpha \ V_{\beta }=U_{\alpha }}